algebraic identities all formulas